SummaryLooking at proof theory as an attempt to ‘code’ the general pattern of the logical steps of a mathematical proof, the question of what kind of rules can make the meaning of a logical connective completely explicit does not seem to have been answered satisfactorily. The lambda calculus seems to have been more coherent simply because the use of ‘λ’ together with its projection 'apply' is specified by what can be called a 'reduction' rule: β‐conversion. We attempt to analyse the (...) role of proof rules, making use of a set of formal rules designed to capture both the notions of proof theory and those of the lambda‐calculus: Martin‐Löf's Intuitionistic Type Theory.RésuméSi on considère la théorie de la démonstration comme une tentative de ‘codifier’ les pas logiques d'une démonstration mathématique, on se rendra compte qu'on n'a pas répondu de façon satisfaisante à la question suivante: quelles sont les règies qui rendent complètement explicite le sens d'un connecteur logique? Le lambda‐calcul a été apparemment plus cohérent, tout simplement parce que l'utilisation du‘λ’ avec sa projection 'apply' est spécifiée par une regie de 'réduction': β‐conversion. Nous essayons d'analyser le rôle des règies de démonstration, en utilisant un système formel de règies conçu pour englober à la fois les notions de la théorie de la démonstration et celles du lambda‐calcul: la Théorie Intuitionniste des Types de Martin‐Löf.ZusammenfassungWenn man Beweistheorie als einen Versuch, ein allgemeines Muster der logischen Schritte in einem mathematischen Beweis zu kodifizieren, betrachtet, so scheint die Frage nach der Art von Regeln , die die Bedeutung von logischen Operatoren vollständig beschreiben, nicht zufriedenstellend beantwortet. Der Lambda‐Kalkül erscheint, kohärenter, einfach deshalb weil der Gebrauch von ‘λ’ zusammen mit dessen Projektion 'apply' durch Regeln bestimmt wird, die man 'Reduktions'‐Regeln nennen kann: β‐Konversion. Wir versuchen, die Rolle von Beweisregeln zu analysieren, indem wir ein Regelsystem verwenden, das sowohl die Begriffe der Beweistheorie als auch diejenigen des Lambda‐Kalküls erfasst, nämlich die Martin‐Löfsche Typentheorie. (shrink)

Dans l’imaginaire philosophique de J.-M.G. Le Clézio et de Göran Tunström, le rapport centralité / marginalisation occupe une place extrêmement importante. Les personnages de ces deux écrivains sont souvent intégrés dans des sociétés plus ou moins ouvertes, où l’isolement représente l’élément central. Ayant une certe philosophie implicite, mais loin de proposer l’image d’une société parfaite, les romans de J.-M.G. Le Clézio et de Göran Tunström, décrivent, tout aucontraire, la vie des enfants dans une collectivité qui ne les aime (...) pas, où règnent la pauvreté, ainsi que la haine. S’assumer le statut de marginalisé dans un monde aliéné nous démontre à quel point ce thème reste significatif pour la compréhension des personnages. (shrink)

The study of the autonomic nervous system (ANS) function has shown to provide useful indicators for risk stratification and early detection on a variety of cardiovascular pathologies. However, data gathered during different tests of the ANS are difficult to analyse, mainly due to the complex mechanisms involved in the autonomic regulation of the cardiovascular system (CVS). Although model-based analysis of ANS data has been already proposed as a way to cope with this complexity, only a few models coupling the main (...) elements involved have been presented in the literature. In this paper, a new model of the CVS, representing the ventricles, the circulatory system and the regulation of the CVS activity by the ANS, is presented. The models of the vascular system and the ventricular activity have been developed using the Bond Graph formalism, as it proposes a unified representation for all energetic domains, facilitating the integration of mechanic and hydraulic phenomena. In order to take into account the electro-mechanical behaviour of both ventricles, an electrophysiologic model of the cardiac action potential, represented by a set of ordinary differential equations, has been integrated. The short-term ANS regulation of heart rate, cardiac contractility and peripheral vasoconstriction is represented by means of continuous transfer functions. These models, represented in different continuous formalisms, are coupled by using a multi-formalism simulation library. Results are presented for two different autonomic tests, namely the Tilt Test and the Valsalva Manoeuvre, by comparing real and simulated signals. (shrink)

La collection « Lettres numériques » d’Honoré Champion est un des rares lieux éditoriaux aujourd’hui qui s’applique à promouvoir des ouvrages de philologie numérique. L’essai de Margareta Kastberg Sjöblom ne déroge pas à la ligne éditoriale fixée par les directeurs de collection, François Rastier et Jean-Marie Viprey, et propose une étude linguistique assistée par ordinateur de l’œuvre littéraire de Jean-Marie Le Clézio. La force de l’ouvrage tient d’abord dans le corpus étudié et la méthode ..

La collection « Lettres numériques » d’Honoré Champion est un des rares lieux éditoriaux aujourd’hui qui s’applique à promouvoir des ouvrages de philologie numérique. L’essai de Margareta Kastberg Sjöblom ne déroge pas à la ligne éditoriale fixée par les directeurs de collection, François Rastier et Jean-Marie Viprey, et propose une étude linguistique assistée par ordinateur de l’œuvre littéraire de Jean-Marie Le Clézio. La force de l’ouvrage tient d’abord dans le corpus étudié et la méthode...

Etudes sur la philosophie, la théorie politique et la littérature des Lumières en Europe, sur le thème de la reconnaissance dans le roman et le théâtre français du XVIIIe siècle, etc.

L'originalite du present recueil reside surtout dans le fait qu'il reflete dans toute sa diversite le champ mondial de l'attention philosophique au langage. Au lieu de se confiner dans un territoire particulier - que ce soit celui de l'hermeneutique allemande ou celui de l'analytisme anglo-saxon par exemple - il s'offre, tout au contraire, comme espace de confrontation authentiquement philosophique (et non de debat technique a l'interieur d'une ecole ou d'une tendance) dans lequel des pensees des langages se cotoient et se (...) rencontrent venues des horizons les plus heterogenes (informatique, theologique, hermeneutique, analytique, pragmatique, ideologique,...). Cette riche diversite manifeste aussi l'extraordinaire interet de la pensee contemporaine pour le langage, interet qui fonde peut-etre la veritable specificite de la philosophie du XXe siecle. (shrink)

In this book, a dozen distinguished scholars in the field of the history of philosophy and science investigate aspects of the commentary tradition on Aristotle's De generatione et corruptione, one of the least studied among Aristotle's treatises in natural philosophy. Many famous thinkers such as Johannes Philoponus, Albert the Great, Thomas Aquinas, John Buridan, Nicole Oresme, Francesco Piccolomini, Jacopo Zabarella, and Galileo Galilei wrote commentaries on it. The distinctive feature of the present book is that it approaches this commentary tradition (...) as a coherent whole, thereby ignoring the usual historiographical distinctions between the Middle Ages, the Renaissance, and the seventeenth century. Frans de Haas and Henk Kubbinga address the Greek commentary tradition on De generatione et corruptione. Simone van Riet's essay is devoted to the Latin version of Avicenna's third treatise of his Kitab al Shifa, which discusses Aristotle's De generatione et corruptione. James Otte traces the intricate history of the identification of the Latin translator of Aristotle's treatise as Burgundio of Pisa. The essay by John Murdoch explores the fortuna of atomistic arguments in the Latin commentary tradition. Jurgen Sarnowsky, Henk Braakhuis, and Stefano Caroti examine various themes in the commentaries that were produced by the so-called Buridan School, that is, John Buridan, Albert of Saxony, Nicholas Oresme, and Marsilius of Inghen. The article by Silvia Donati focuses on the influential commentary by the Expositor, Giles of Rome. The final essay, written by Anita Guerrini, tackles Robert Boyle's attitude in the Origin of Forms and Qualities toward such Aristotelian key concepts as forms, matter, qualities, and mixture. These essays are prefaced by a preliminary survey by Hans Thijssen of Aristotle's text, its Latin translations and its Greek, Arabic and Latin commentaries. (shrink)

La Philosophie de la Technique compte des centaoines de titres a l'etranger mais reste balbutiante en France. Or la technique constitue bien le milieu universel dans lequel desormais nous naissons, vivons et mourrons. Il n'est pas sur que cette technique englobante, qui innerve notre temps et notre espace, puisse encore etre consideree comme un ensemble d'outils au service de l'Homme et comme une science appliquee. L'Homme suivant toutes ses dimensions, est mis en question par la technique contemporaine. La science est (...) si essentiellement enchevetree a la technique, qui est operation (action et manipulation), qu'il n'y a plus de science pure, c'est-a-dire neutre et innocente. Voila pourquoi la Philosophie de la Technique rencontre la problematique ethique non de l'exterieur mais necessairement et essentiellement. Que dois-je faire? depend fondamentalement de ce que j'ai la capacite de faire. La technique, qui a radicalement modifie la nature et le champ du pouvoir-faire humain, individuel et collectif, exige du meme coup que la question ethique soit fondamentalement reconsideree. Ethique et Technique n'intervient donc pas comme un chapitre quelconque de la Philosophie de la Technique, mais peut-etre bien comme le coeur meme de ce nouveau champ de reflexion. (shrink)